منابع مشابه
Interpolation and Symbol Elimination
We prove several results related to local proofs, interpolation and superposition calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and results suggest that symbol-eliminating inferences may be an interesting alternative to interpolation.
متن کاملInterpolation and Symbol Elimination in Vampire
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such as invariant generation and computing interpolants. This tool paper describes how such proofs and interpolant generation are implemented in the first-order theorem prover Vampire.
متن کاملImage Interpolation Techniques
In this paper interpolation techniques are presented. They are compared on an accuracy and computational efficiency base. Both the interpolation kernels and frequency responses are given.
متن کاملShadow Elimination and Interpolation for Computer Vision and Graphics
SHADOW ELIMINATION AND INTERPOLATION FOR COMPUTER VISION AND GRAPHICS DECEMBER 2002 by YASUYUKI MATSUSHITA Ph.D., THE UNIVERSITY OF TOKYO Directed by: Professor Masao Sakauchi Shadowing and other illumination effects give human beings rich clues to understand visual scenery. However, for many computer vision algorithms that rely on visual appearance, such illumination effects generally become m...
متن کاملOn Interpolation and Symbol Elimination in Theory Extensions
In this paper we study possibilities of interpolation and symbol elimination in extensions of a theory T0 with additional function symbols whose properties are axiomatised using a set of clauses. We analyze situations in which we can perform such tasks in a hierarchical way, relying on existing mechanisms for symbol elimination in T0. This is for instance possible if the base theory allows quan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computational and Applied Mathematics
سال: 1987
ISSN: 0377-0427
DOI: 10.1016/s0377-0427(87)80017-1